integer and float conversion in c